Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
101	Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis: Add to Reading List Source URL: standefer.weebly.com Language: English - Date: 2014-11-06 15:15:02 Analytic philosophy Analytic philosophers Philosophy of mathematics Metalogic Non-classical logic Proof theory Philosophy of logic Nuel Belnap Alan Ross Anderson Logic Philosophy Philosophical logic
102	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
103	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:28:32 Artificial intelligence Logic in computer science Non-classical logic Fuzzy control system Defuzzification Fuzzy set Expert system Membership function Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
104	Gregory Wheeler Research Profile AOS: Epistemology (formal, traditional, social, computational); Logic & Philosophy of Science; Decision Theory, Game Theory, Foundations of Probability AOC: Philosophy of Cognitive Scienc Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-06-06 05:34:26 Knowledge Non-classical logic Paraconsistent logic Formal epistemology Statistical inference Gregory Wheeler Probabilistic logic Philosophical logic Lottery paradox Logic Science Epistemology
105	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
106	TLP 10 (4–6): 675–690, C Cambridge University Press 2010 675 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:09:01 Model theory Modal logic Non-classical logic Temporal logic Kripke semantics Kripke structure Interpretation Stable model semantics Saul Kripke Logic Mathematical logic Philosophical logic
107	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
108	Study Guide for Final Exam Philosophy 142 Spring, 2011 The exam will take place Thursday May 12, 3–6 PM, in 110 Wheeler Hall. You should bring your own bluebook and a pen or pencil. The exam is closed book, closed note Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-05-02 22:08:25 Conditionals Paraconsistent logic Philosophy of mathematics Intuitionistic logic Truth value Relevance logic Classical logic Indicative conditional Sorites paradox Logic Non-classical logic Philosophical logic
109	Syllabus January 28, 2011 Philosophy 142: Philosophical Logic Professor John MacFarlane Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-28 21:51:01 Non-classical logic Conditionals Binary operations Propositional calculus Entailment Modal logic Material conditional First-order logic Indicative conditional Logic Mathematical logic Philosophical logic
110	PDF Document Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2007-08-30 22:47:44 Philosophy of mathematics Mathematical constructivism Non-classical logic Philosophical logic Rules of inference Alain Badiou Ontology Empty set Intuitionism Logic Mathematical logic Mathematics

UPDATE